3.1010 \(\int \frac{x^{3/2} (A+B x)}{a+b x+c x^2} \, dx\)

Optimal. Leaf size=275 \[ \frac{\sqrt{2} \left (-\frac{2 a A c^2-3 a b B c-A b^2 c+b^3 B}{\sqrt{b^2-4 a c}}-a B c-A b c+b^2 B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{c^{5/2} \sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\sqrt{2} \left (\frac{2 a A c^2-3 a b B c-A b^2 c+b^3 B}{\sqrt{b^2-4 a c}}-a B c-A b c+b^2 B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{c^{5/2} \sqrt{\sqrt{b^2-4 a c}+b}}-\frac{2 \sqrt{x} (b B-A c)}{c^2}+\frac{2 B x^{3/2}}{3 c} \]

[Out]

(-2*(b*B - A*c)*Sqrt[x])/c^2 + (2*B*x^(3/2))/(3*c) + (Sqrt[2]*(b^2*B - A*b*c - a
*B*c - (b^3*B - A*b^2*c - 3*a*b*B*c + 2*a*A*c^2)/Sqrt[b^2 - 4*a*c])*ArcTan[(Sqrt
[2]*Sqrt[c]*Sqrt[x])/Sqrt[b - Sqrt[b^2 - 4*a*c]]])/(c^(5/2)*Sqrt[b - Sqrt[b^2 -
4*a*c]]) + (Sqrt[2]*(b^2*B - A*b*c - a*B*c + (b^3*B - A*b^2*c - 3*a*b*B*c + 2*a*
A*c^2)/Sqrt[b^2 - 4*a*c])*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sqrt[b + Sqrt[b^2 - 4
*a*c]]])/(c^(5/2)*Sqrt[b + Sqrt[b^2 - 4*a*c]])

_______________________________________________________________________________________

Rubi [A]  time = 2.97238, antiderivative size = 275, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 4, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.174 \[ \frac{\sqrt{2} \left (-\frac{2 a A c^2-3 a b B c-A b^2 c+b^3 B}{\sqrt{b^2-4 a c}}-a B c-A b c+b^2 B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{c^{5/2} \sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\sqrt{2} \left (\frac{2 a A c^2-3 a b B c-A b^2 c+b^3 B}{\sqrt{b^2-4 a c}}-a B c-A b c+b^2 B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{c^{5/2} \sqrt{\sqrt{b^2-4 a c}+b}}-\frac{2 \sqrt{x} (b B-A c)}{c^2}+\frac{2 B x^{3/2}}{3 c} \]

Antiderivative was successfully verified.

[In]  Int[(x^(3/2)*(A + B*x))/(a + b*x + c*x^2),x]

[Out]

(-2*(b*B - A*c)*Sqrt[x])/c^2 + (2*B*x^(3/2))/(3*c) + (Sqrt[2]*(b^2*B - A*b*c - a
*B*c - (b^3*B - A*b^2*c - 3*a*b*B*c + 2*a*A*c^2)/Sqrt[b^2 - 4*a*c])*ArcTan[(Sqrt
[2]*Sqrt[c]*Sqrt[x])/Sqrt[b - Sqrt[b^2 - 4*a*c]]])/(c^(5/2)*Sqrt[b - Sqrt[b^2 -
4*a*c]]) + (Sqrt[2]*(b^2*B - A*b*c - a*B*c + (b^3*B - A*b^2*c - 3*a*b*B*c + 2*a*
A*c^2)/Sqrt[b^2 - 4*a*c])*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sqrt[b + Sqrt[b^2 - 4
*a*c]]])/(c^(5/2)*Sqrt[b + Sqrt[b^2 - 4*a*c]])

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 150.406, size = 279, normalized size = 1.01 \[ \frac{2 B x^{\frac{3}{2}}}{3 c} + \frac{2 \sqrt{x} \left (A c - B b\right )}{c^{2}} - \frac{\sqrt{2} \left (- 2 a c \left (A c - B b\right ) + b \left (B a c + b \left (A c - B b\right )\right ) + \sqrt{- 4 a c + b^{2}} \left (B a c + b \left (A c - B b\right )\right )\right ) \operatorname{atan}{\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{b + \sqrt{- 4 a c + b^{2}}}} \right )}}{c^{\frac{5}{2}} \sqrt{b + \sqrt{- 4 a c + b^{2}}} \sqrt{- 4 a c + b^{2}}} + \frac{\sqrt{2} \left (- 2 a c \left (A c - B b\right ) + b \left (B a c + b \left (A c - B b\right )\right ) - \sqrt{- 4 a c + b^{2}} \left (B a c + b \left (A c - B b\right )\right )\right ) \operatorname{atan}{\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{b - \sqrt{- 4 a c + b^{2}}}} \right )}}{c^{\frac{5}{2}} \sqrt{b - \sqrt{- 4 a c + b^{2}}} \sqrt{- 4 a c + b^{2}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(x**(3/2)*(B*x+A)/(c*x**2+b*x+a),x)

[Out]

2*B*x**(3/2)/(3*c) + 2*sqrt(x)*(A*c - B*b)/c**2 - sqrt(2)*(-2*a*c*(A*c - B*b) +
b*(B*a*c + b*(A*c - B*b)) + sqrt(-4*a*c + b**2)*(B*a*c + b*(A*c - B*b)))*atan(sq
rt(2)*sqrt(c)*sqrt(x)/sqrt(b + sqrt(-4*a*c + b**2)))/(c**(5/2)*sqrt(b + sqrt(-4*
a*c + b**2))*sqrt(-4*a*c + b**2)) + sqrt(2)*(-2*a*c*(A*c - B*b) + b*(B*a*c + b*(
A*c - B*b)) - sqrt(-4*a*c + b**2)*(B*a*c + b*(A*c - B*b)))*atan(sqrt(2)*sqrt(c)*
sqrt(x)/sqrt(b - sqrt(-4*a*c + b**2)))/(c**(5/2)*sqrt(b - sqrt(-4*a*c + b**2))*s
qrt(-4*a*c + b**2))

_______________________________________________________________________________________

Mathematica [A]  time = 0.648328, size = 338, normalized size = 1.23 \[ \frac{\sqrt{2} \left (b^2 \left (B \sqrt{b^2-4 a c}+A c\right )+b c \left (3 a B-A \sqrt{b^2-4 a c}\right )-a c \left (B \sqrt{b^2-4 a c}+2 A c\right )+b^3 (-B)\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{c^{5/2} \sqrt{b^2-4 a c} \sqrt{b-\sqrt{b^2-4 a c}}}+\frac{\sqrt{2} \left (b^2 \left (B \sqrt{b^2-4 a c}-A c\right )-b c \left (A \sqrt{b^2-4 a c}+3 a B\right )+a c \left (2 A c-B \sqrt{b^2-4 a c}\right )+b^3 B\right ) \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{x}}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{c^{5/2} \sqrt{b^2-4 a c} \sqrt{\sqrt{b^2-4 a c}+b}}+\frac{2 \sqrt{x} (A c-b B)}{c^2}+\frac{2 B x^{3/2}}{3 c} \]

Antiderivative was successfully verified.

[In]  Integrate[(x^(3/2)*(A + B*x))/(a + b*x + c*x^2),x]

[Out]

(2*(-(b*B) + A*c)*Sqrt[x])/c^2 + (2*B*x^(3/2))/(3*c) + (Sqrt[2]*(-(b^3*B) + b*c*
(3*a*B - A*Sqrt[b^2 - 4*a*c]) + b^2*(A*c + B*Sqrt[b^2 - 4*a*c]) - a*c*(2*A*c + B
*Sqrt[b^2 - 4*a*c]))*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sqrt[b - Sqrt[b^2 - 4*a*c]
]])/(c^(5/2)*Sqrt[b^2 - 4*a*c]*Sqrt[b - Sqrt[b^2 - 4*a*c]]) + (Sqrt[2]*(b^3*B -
b*c*(3*a*B + A*Sqrt[b^2 - 4*a*c]) + a*c*(2*A*c - B*Sqrt[b^2 - 4*a*c]) + b^2*(-(A
*c) + B*Sqrt[b^2 - 4*a*c]))*ArcTan[(Sqrt[2]*Sqrt[c]*Sqrt[x])/Sqrt[b + Sqrt[b^2 -
 4*a*c]]])/(c^(5/2)*Sqrt[b^2 - 4*a*c]*Sqrt[b + Sqrt[b^2 - 4*a*c]])

_______________________________________________________________________________________

Maple [B]  time = 0.046, size = 855, normalized size = 3.1 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(x^(3/2)*(B*x+A)/(c*x^2+b*x+a),x)

[Out]

2/3*B*x^(3/2)/c+2*A*x^(1/2)/c-2/c^2*x^(1/2)*B*b+1/c*2^(1/2)/((-b+(-4*a*c+b^2)^(1
/2))*c)^(1/2)*arctanh(c*x^(1/2)*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*A*b+2
/(-4*a*c+b^2)^(1/2)*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctanh(c*x^(1/2)*
2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*a*A-1/c/(-4*a*c+b^2)^(1/2)*2^(1/2)/((
-b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctanh(c*x^(1/2)*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2
))*c)^(1/2))*A*b^2+1/c*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctanh(c*x^(1/
2)*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*a*B-1/c^2*2^(1/2)/((-b+(-4*a*c+b^2
)^(1/2))*c)^(1/2)*arctanh(c*x^(1/2)*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*b
^2*B-3/c/(-4*a*c+b^2)^(1/2)*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctanh(c*
x^(1/2)*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*a*b*B+1/c^2/(-4*a*c+b^2)^(1/2
)*2^(1/2)/((-b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctanh(c*x^(1/2)*2^(1/2)/((-b+(-4*a
*c+b^2)^(1/2))*c)^(1/2))*B*b^3-1/c*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arct
an(c*x^(1/2)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*A*b+2/(-4*a*c+b^2)^(1/2)*
2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctan(c*x^(1/2)*2^(1/2)/((b+(-4*a*c+b^
2)^(1/2))*c)^(1/2))*a*A-1/c/(-4*a*c+b^2)^(1/2)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c
)^(1/2)*arctan(c*x^(1/2)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*A*b^2-1/c*2^(
1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctan(c*x^(1/2)*2^(1/2)/((b+(-4*a*c+b^2)^
(1/2))*c)^(1/2))*a*B+1/c^2*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctan(c*x^(
1/2)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*b^2*B-3/c/(-4*a*c+b^2)^(1/2)*2^(1
/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctan(c*x^(1/2)*2^(1/2)/((b+(-4*a*c+b^2)^(
1/2))*c)^(1/2))*a*b*B+1/c^2/(-4*a*c+b^2)^(1/2)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c
)^(1/2)*arctan(c*x^(1/2)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*B*b^3

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \frac{2 \, B x^{\frac{3}{2}}}{3 \, c} + \int -\frac{B a \sqrt{x} +{\left (B b - A c\right )} x^{\frac{3}{2}}}{c^{2} x^{2} + b c x + a c}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x + A)*x^(3/2)/(c*x^2 + b*x + a),x, algorithm="maxima")

[Out]

2/3*B*x^(3/2)/c + integrate(-(B*a*sqrt(x) + (B*b - A*c)*x^(3/2))/(c^2*x^2 + b*c*
x + a*c), x)

_______________________________________________________________________________________

Fricas [A]  time = 3.00229, size = 6950, normalized size = 25.27 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x + A)*x^(3/2)/(c*x^2 + b*x + a),x, algorithm="fricas")

[Out]

1/6*(3*sqrt(2)*c^2*sqrt(-(B^2*b^5 - (4*A*B*a^2 + 3*A^2*a*b)*c^3 + (5*B^2*a^2*b +
 8*A*B*a*b^2 + A^2*b^3)*c^2 - (5*B^2*a*b^3 + 2*A*B*b^4)*c + (b^2*c^5 - 4*a*c^6)*
sqrt((B^4*b^8 + A^4*a^2*c^6 - 2*(A^2*B^2*a^3 + 4*A^3*B*a^2*b + A^4*a*b^2)*c^5 +
(B^4*a^4 + 8*A*B^3*a^3*b + 24*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4)*c^4 -
2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2*b^3 + 12*A^2*B^2*a*b^4 + 2*A^3*B*b^5)*c^3 + (11*
B^4*a^2*b^4 + 20*A*B^3*a*b^5 + 6*A^2*B^2*b^6)*c^2 - 2*(3*B^4*a*b^6 + 2*A*B^3*b^7
)*c)/(b^2*c^10 - 4*a*c^11)))/(b^2*c^5 - 4*a*c^6))*log(sqrt(2)*(B^3*b^7 - 4*A^3*a
^2*c^5 + (4*A*B^2*a^3 + 20*A^2*B*a^2*b + 5*A^3*a*b^2)*c^4 - (4*B^3*a^3*b + 29*A*
B^2*a^2*b^2 + 17*A^2*B*a*b^3 + A^3*b^4)*c^3 + (13*B^3*a^2*b^3 + 19*A*B^2*a*b^4 +
 3*A^2*B*b^5)*c^2 - (7*B^3*a*b^5 + 3*A*B^2*b^6)*c - (B*b^4*c^5 + 4*(2*B*a^2 + A*
a*b)*c^7 - (6*B*a*b^2 + A*b^3)*c^6)*sqrt((B^4*b^8 + A^4*a^2*c^6 - 2*(A^2*B^2*a^3
 + 4*A^3*B*a^2*b + A^4*a*b^2)*c^5 + (B^4*a^4 + 8*A*B^3*a^3*b + 24*A^2*B^2*a^2*b^
2 + 12*A^3*B*a*b^3 + A^4*b^4)*c^4 - 2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2*b^3 + 12*A^2
*B^2*a*b^4 + 2*A^3*B*b^5)*c^3 + (11*B^4*a^2*b^4 + 20*A*B^3*a*b^5 + 6*A^2*B^2*b^6
)*c^2 - 2*(3*B^4*a*b^6 + 2*A*B^3*b^7)*c)/(b^2*c^10 - 4*a*c^11)))*sqrt(-(B^2*b^5
- (4*A*B*a^2 + 3*A^2*a*b)*c^3 + (5*B^2*a^2*b + 8*A*B*a*b^2 + A^2*b^3)*c^2 - (5*B
^2*a*b^3 + 2*A*B*b^4)*c + (b^2*c^5 - 4*a*c^6)*sqrt((B^4*b^8 + A^4*a^2*c^6 - 2*(A
^2*B^2*a^3 + 4*A^3*B*a^2*b + A^4*a*b^2)*c^5 + (B^4*a^4 + 8*A*B^3*a^3*b + 24*A^2*
B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4)*c^4 - 2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2*b^
3 + 12*A^2*B^2*a*b^4 + 2*A^3*B*b^5)*c^3 + (11*B^4*a^2*b^4 + 20*A*B^3*a*b^5 + 6*A
^2*B^2*b^6)*c^2 - 2*(3*B^4*a*b^6 + 2*A*B^3*b^7)*c)/(b^2*c^10 - 4*a*c^11)))/(b^2*
c^5 - 4*a*c^6)) - 4*(B^4*a^2*b^4 - A*B^3*a*b^5 - A^4*a^2*c^4 + (5*A^3*B*a^2*b +
A^4*a*b^2)*c^3 + (B^4*a^4 + 3*A*B^3*a^3*b - 6*A^2*B^2*a^2*b^2 - 3*A^3*B*a*b^3)*c
^2 - (3*B^4*a^3*b^2 - A*B^3*a^2*b^3 - 3*A^2*B^2*a*b^4)*c)*sqrt(x)) - 3*sqrt(2)*c
^2*sqrt(-(B^2*b^5 - (4*A*B*a^2 + 3*A^2*a*b)*c^3 + (5*B^2*a^2*b + 8*A*B*a*b^2 + A
^2*b^3)*c^2 - (5*B^2*a*b^3 + 2*A*B*b^4)*c + (b^2*c^5 - 4*a*c^6)*sqrt((B^4*b^8 +
A^4*a^2*c^6 - 2*(A^2*B^2*a^3 + 4*A^3*B*a^2*b + A^4*a*b^2)*c^5 + (B^4*a^4 + 8*A*B
^3*a^3*b + 24*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4)*c^4 - 2*(3*B^4*a^3*b^2
 + 14*A*B^3*a^2*b^3 + 12*A^2*B^2*a*b^4 + 2*A^3*B*b^5)*c^3 + (11*B^4*a^2*b^4 + 20
*A*B^3*a*b^5 + 6*A^2*B^2*b^6)*c^2 - 2*(3*B^4*a*b^6 + 2*A*B^3*b^7)*c)/(b^2*c^10 -
 4*a*c^11)))/(b^2*c^5 - 4*a*c^6))*log(-sqrt(2)*(B^3*b^7 - 4*A^3*a^2*c^5 + (4*A*B
^2*a^3 + 20*A^2*B*a^2*b + 5*A^3*a*b^2)*c^4 - (4*B^3*a^3*b + 29*A*B^2*a^2*b^2 + 1
7*A^2*B*a*b^3 + A^3*b^4)*c^3 + (13*B^3*a^2*b^3 + 19*A*B^2*a*b^4 + 3*A^2*B*b^5)*c
^2 - (7*B^3*a*b^5 + 3*A*B^2*b^6)*c - (B*b^4*c^5 + 4*(2*B*a^2 + A*a*b)*c^7 - (6*B
*a*b^2 + A*b^3)*c^6)*sqrt((B^4*b^8 + A^4*a^2*c^6 - 2*(A^2*B^2*a^3 + 4*A^3*B*a^2*
b + A^4*a*b^2)*c^5 + (B^4*a^4 + 8*A*B^3*a^3*b + 24*A^2*B^2*a^2*b^2 + 12*A^3*B*a*
b^3 + A^4*b^4)*c^4 - 2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2*b^3 + 12*A^2*B^2*a*b^4 + 2*
A^3*B*b^5)*c^3 + (11*B^4*a^2*b^4 + 20*A*B^3*a*b^5 + 6*A^2*B^2*b^6)*c^2 - 2*(3*B^
4*a*b^6 + 2*A*B^3*b^7)*c)/(b^2*c^10 - 4*a*c^11)))*sqrt(-(B^2*b^5 - (4*A*B*a^2 +
3*A^2*a*b)*c^3 + (5*B^2*a^2*b + 8*A*B*a*b^2 + A^2*b^3)*c^2 - (5*B^2*a*b^3 + 2*A*
B*b^4)*c + (b^2*c^5 - 4*a*c^6)*sqrt((B^4*b^8 + A^4*a^2*c^6 - 2*(A^2*B^2*a^3 + 4*
A^3*B*a^2*b + A^4*a*b^2)*c^5 + (B^4*a^4 + 8*A*B^3*a^3*b + 24*A^2*B^2*a^2*b^2 + 1
2*A^3*B*a*b^3 + A^4*b^4)*c^4 - 2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2*b^3 + 12*A^2*B^2*
a*b^4 + 2*A^3*B*b^5)*c^3 + (11*B^4*a^2*b^4 + 20*A*B^3*a*b^5 + 6*A^2*B^2*b^6)*c^2
 - 2*(3*B^4*a*b^6 + 2*A*B^3*b^7)*c)/(b^2*c^10 - 4*a*c^11)))/(b^2*c^5 - 4*a*c^6))
 - 4*(B^4*a^2*b^4 - A*B^3*a*b^5 - A^4*a^2*c^4 + (5*A^3*B*a^2*b + A^4*a*b^2)*c^3
+ (B^4*a^4 + 3*A*B^3*a^3*b - 6*A^2*B^2*a^2*b^2 - 3*A^3*B*a*b^3)*c^2 - (3*B^4*a^3
*b^2 - A*B^3*a^2*b^3 - 3*A^2*B^2*a*b^4)*c)*sqrt(x)) + 3*sqrt(2)*c^2*sqrt(-(B^2*b
^5 - (4*A*B*a^2 + 3*A^2*a*b)*c^3 + (5*B^2*a^2*b + 8*A*B*a*b^2 + A^2*b^3)*c^2 - (
5*B^2*a*b^3 + 2*A*B*b^4)*c - (b^2*c^5 - 4*a*c^6)*sqrt((B^4*b^8 + A^4*a^2*c^6 - 2
*(A^2*B^2*a^3 + 4*A^3*B*a^2*b + A^4*a*b^2)*c^5 + (B^4*a^4 + 8*A*B^3*a^3*b + 24*A
^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4)*c^4 - 2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2
*b^3 + 12*A^2*B^2*a*b^4 + 2*A^3*B*b^5)*c^3 + (11*B^4*a^2*b^4 + 20*A*B^3*a*b^5 +
6*A^2*B^2*b^6)*c^2 - 2*(3*B^4*a*b^6 + 2*A*B^3*b^7)*c)/(b^2*c^10 - 4*a*c^11)))/(b
^2*c^5 - 4*a*c^6))*log(sqrt(2)*(B^3*b^7 - 4*A^3*a^2*c^5 + (4*A*B^2*a^3 + 20*A^2*
B*a^2*b + 5*A^3*a*b^2)*c^4 - (4*B^3*a^3*b + 29*A*B^2*a^2*b^2 + 17*A^2*B*a*b^3 +
A^3*b^4)*c^3 + (13*B^3*a^2*b^3 + 19*A*B^2*a*b^4 + 3*A^2*B*b^5)*c^2 - (7*B^3*a*b^
5 + 3*A*B^2*b^6)*c + (B*b^4*c^5 + 4*(2*B*a^2 + A*a*b)*c^7 - (6*B*a*b^2 + A*b^3)*
c^6)*sqrt((B^4*b^8 + A^4*a^2*c^6 - 2*(A^2*B^2*a^3 + 4*A^3*B*a^2*b + A^4*a*b^2)*c
^5 + (B^4*a^4 + 8*A*B^3*a^3*b + 24*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4)*c
^4 - 2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2*b^3 + 12*A^2*B^2*a*b^4 + 2*A^3*B*b^5)*c^3 +
 (11*B^4*a^2*b^4 + 20*A*B^3*a*b^5 + 6*A^2*B^2*b^6)*c^2 - 2*(3*B^4*a*b^6 + 2*A*B^
3*b^7)*c)/(b^2*c^10 - 4*a*c^11)))*sqrt(-(B^2*b^5 - (4*A*B*a^2 + 3*A^2*a*b)*c^3 +
 (5*B^2*a^2*b + 8*A*B*a*b^2 + A^2*b^3)*c^2 - (5*B^2*a*b^3 + 2*A*B*b^4)*c - (b^2*
c^5 - 4*a*c^6)*sqrt((B^4*b^8 + A^4*a^2*c^6 - 2*(A^2*B^2*a^3 + 4*A^3*B*a^2*b + A^
4*a*b^2)*c^5 + (B^4*a^4 + 8*A*B^3*a^3*b + 24*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 +
A^4*b^4)*c^4 - 2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2*b^3 + 12*A^2*B^2*a*b^4 + 2*A^3*B*
b^5)*c^3 + (11*B^4*a^2*b^4 + 20*A*B^3*a*b^5 + 6*A^2*B^2*b^6)*c^2 - 2*(3*B^4*a*b^
6 + 2*A*B^3*b^7)*c)/(b^2*c^10 - 4*a*c^11)))/(b^2*c^5 - 4*a*c^6)) - 4*(B^4*a^2*b^
4 - A*B^3*a*b^5 - A^4*a^2*c^4 + (5*A^3*B*a^2*b + A^4*a*b^2)*c^3 + (B^4*a^4 + 3*A
*B^3*a^3*b - 6*A^2*B^2*a^2*b^2 - 3*A^3*B*a*b^3)*c^2 - (3*B^4*a^3*b^2 - A*B^3*a^2
*b^3 - 3*A^2*B^2*a*b^4)*c)*sqrt(x)) - 3*sqrt(2)*c^2*sqrt(-(B^2*b^5 - (4*A*B*a^2
+ 3*A^2*a*b)*c^3 + (5*B^2*a^2*b + 8*A*B*a*b^2 + A^2*b^3)*c^2 - (5*B^2*a*b^3 + 2*
A*B*b^4)*c - (b^2*c^5 - 4*a*c^6)*sqrt((B^4*b^8 + A^4*a^2*c^6 - 2*(A^2*B^2*a^3 +
4*A^3*B*a^2*b + A^4*a*b^2)*c^5 + (B^4*a^4 + 8*A*B^3*a^3*b + 24*A^2*B^2*a^2*b^2 +
 12*A^3*B*a*b^3 + A^4*b^4)*c^4 - 2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2*b^3 + 12*A^2*B^
2*a*b^4 + 2*A^3*B*b^5)*c^3 + (11*B^4*a^2*b^4 + 20*A*B^3*a*b^5 + 6*A^2*B^2*b^6)*c
^2 - 2*(3*B^4*a*b^6 + 2*A*B^3*b^7)*c)/(b^2*c^10 - 4*a*c^11)))/(b^2*c^5 - 4*a*c^6
))*log(-sqrt(2)*(B^3*b^7 - 4*A^3*a^2*c^5 + (4*A*B^2*a^3 + 20*A^2*B*a^2*b + 5*A^3
*a*b^2)*c^4 - (4*B^3*a^3*b + 29*A*B^2*a^2*b^2 + 17*A^2*B*a*b^3 + A^3*b^4)*c^3 +
(13*B^3*a^2*b^3 + 19*A*B^2*a*b^4 + 3*A^2*B*b^5)*c^2 - (7*B^3*a*b^5 + 3*A*B^2*b^6
)*c + (B*b^4*c^5 + 4*(2*B*a^2 + A*a*b)*c^7 - (6*B*a*b^2 + A*b^3)*c^6)*sqrt((B^4*
b^8 + A^4*a^2*c^6 - 2*(A^2*B^2*a^3 + 4*A^3*B*a^2*b + A^4*a*b^2)*c^5 + (B^4*a^4 +
 8*A*B^3*a^3*b + 24*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4)*c^4 - 2*(3*B^4*a
^3*b^2 + 14*A*B^3*a^2*b^3 + 12*A^2*B^2*a*b^4 + 2*A^3*B*b^5)*c^3 + (11*B^4*a^2*b^
4 + 20*A*B^3*a*b^5 + 6*A^2*B^2*b^6)*c^2 - 2*(3*B^4*a*b^6 + 2*A*B^3*b^7)*c)/(b^2*
c^10 - 4*a*c^11)))*sqrt(-(B^2*b^5 - (4*A*B*a^2 + 3*A^2*a*b)*c^3 + (5*B^2*a^2*b +
 8*A*B*a*b^2 + A^2*b^3)*c^2 - (5*B^2*a*b^3 + 2*A*B*b^4)*c - (b^2*c^5 - 4*a*c^6)*
sqrt((B^4*b^8 + A^4*a^2*c^6 - 2*(A^2*B^2*a^3 + 4*A^3*B*a^2*b + A^4*a*b^2)*c^5 +
(B^4*a^4 + 8*A*B^3*a^3*b + 24*A^2*B^2*a^2*b^2 + 12*A^3*B*a*b^3 + A^4*b^4)*c^4 -
2*(3*B^4*a^3*b^2 + 14*A*B^3*a^2*b^3 + 12*A^2*B^2*a*b^4 + 2*A^3*B*b^5)*c^3 + (11*
B^4*a^2*b^4 + 20*A*B^3*a*b^5 + 6*A^2*B^2*b^6)*c^2 - 2*(3*B^4*a*b^6 + 2*A*B^3*b^7
)*c)/(b^2*c^10 - 4*a*c^11)))/(b^2*c^5 - 4*a*c^6)) - 4*(B^4*a^2*b^4 - A*B^3*a*b^5
 - A^4*a^2*c^4 + (5*A^3*B*a^2*b + A^4*a*b^2)*c^3 + (B^4*a^4 + 3*A*B^3*a^3*b - 6*
A^2*B^2*a^2*b^2 - 3*A^3*B*a*b^3)*c^2 - (3*B^4*a^3*b^2 - A*B^3*a^2*b^3 - 3*A^2*B^
2*a*b^4)*c)*sqrt(x)) + 4*(B*c*x - 3*B*b + 3*A*c)*sqrt(x))/c^2

_______________________________________________________________________________________

Sympy [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{x^{\frac{3}{2}} \left (A + B x\right )}{a + b x + c x^{2}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(x**(3/2)*(B*x+A)/(c*x**2+b*x+a),x)

[Out]

Integral(x**(3/2)*(A + B*x)/(a + b*x + c*x**2), x)

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 89.8819, size = 1, normalized size = 0. \[ \mathit{Done} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x + A)*x^(3/2)/(c*x^2 + b*x + a),x, algorithm="giac")

[Out]

Done